Realizability models refuting Ishiharaʼs boundedness principle
نویسندگان
چکیده
منابع مشابه
Realizability models refuting Ishihara's boundedness principle
Ishihara’s Boundedness Principle BD-N was introduced in [Ish92] and has turned out to be most useful for constructive analysis, see e.g. [Ish01]. It is equivalent to the statement that every sequentially continuous function from NN to N is continuous w.r.t. the usual metric topology on NN. We construct models for higher order arithmetic and intuitionistic set theory in which both every function...
متن کاملUniform Boundedness Principle
The following two propositions are true: (1) For every sequence s1 of real numbers and for every real number r such that s1 is bounded and 0 ≤ r holds lim inf(r s1) = r · lim inf s1. (2) For every sequence s1 of real numbers and for every real number r such that s1 is bounded and 0 ≤ r holds lim sup(r s1) = r · lim sup s1. Let X be a real Banach space. One can verify that MetricSpaceNormX is co...
متن کاملUniform Boundedness Principle for operators on hypervector spaces
The aim of this paper is to prove the Uniform Boundedness Principle and Banach-Steinhaus Theorem for anti linear operators and hence strong linear operators on Banach hypervector spaces. Also we prove the continuity of the product operation in such spaces.
متن کاملTHE UNIFORM BOUNDEDNESS PRINCIPLE IN FUZZIFYING TOPOLOGICAL LINEAR SPACES
The main purpose of this study is to discuss the uniform boundednessprinciple in fuzzifying topological linear spaces. At first theconcepts of uniformly boundedness principle and fuzzy equicontinuousfamily of linear operators are proposed, then the relations betweenfuzzy equicontinuous and uniformly bounded are studied, and with thehelp of net convergence, the characterization of fuzzyequiconti...
متن کاملInformation boundedness principle in fuzzy inference process
The information boundedness principle requires that the knowledge obtained as a result of an inference process should not have more information than that contained in the consequent of the rule. From this point of view relevancy transformation operators as a generalization of implications are investigated.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2012
ISSN: 0168-0072
DOI: 10.1016/j.apal.2012.04.004